381. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
382. Chaos and fractals :
Author: edited by Clifford A. Pickover.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Fractals.,Computer graphics.,COMPUTERS-- Digital Media-- Graphics Applications.,COMPUTERS-- Image Processing.,Fractals.,PHOTOGRAPHY-- Techniques-- Digital.,TECHNOLOGY & ENGINEERING-- Imaging Systems.
Classification :
T385
.
C453
1998eb
383. Chemical Instabilities
Author: edited by G. Nicolis, F. Baras.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry.
384. Chemical and biomedical engineering calculations Using Python
Author: / by Jeffrey J. Heys
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering mathematics,Python --Computer program language
Classification :
TA330
.
H49
2017
385. Chemical and biomedical engineering calculations using Python
Author: Heys, Jeffrey J.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Engineering mathematics,، Python )Computer program language(
Classification :
TA
330
.
H49
386. Chemical engineering dynamics: An introduction to modelling and computer simulation
Author: / edited by John Ingham...(et al)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Chemical engineering- Mathematical models,Biochemical engineering- Mathematics,Chemical engineering- Computer simulation
Classification :
TP155
.
75
.
C455
2000
387. Chemical process modelling and computer simulation
Author: / by Amiya K. Jana
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Chemical processes--Computer simulation,Chemical engineering --Mathematics
Classification :
TP155
.
7
.
J25
2018
388. Circuit theory with computer methods
Author: / Omar Wing
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Electric circuits,Electric networks - Data processing,Electric engineering - Mathematics
Classification :
TK
454
.
W53
1978
389. Circuit theory with computer methods
Author: Wing, Omar.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electric circuits,Data processing ، Electric networks,، Electric engineering - Mathematics
Classification :
TK
454
.
W53
1978
390. Cite right :
Author: Charles Lipson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bibliographical citations.,Bibliography.,Writing.,Références bibliographiques.,Bibliographical citations.,Bibliographical citations.,Citeren.,Wissenschaftliches Manuskript,Wissenschaftliches Manuskript.,Zitat,Zitat.
Classification :
PN171
.
F56
L55
2006
391. Cite right :a quick guide to citation styles--MLA, APA, Chicago, the sciences, professions, and more
Author: Lipson, Charles
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Bibliographical citations
Classification :
PN
171
.
F56
L55
2006
392. Cluster analysis and data mining :
Author: R.S. King.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cluster analysis.,Data mining.,Cluster analysis.,Data mining.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.
Classification :
QA278
.
K56
2015eb
393. Codes, cryptology and curves with computer algebra
Author: Ruud Pellikaan, Xin-Wen Wu, Relinde Jurrius.,Pellikaan, R.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Error-correcting codes (Information theory),Curves, Algebraic.,Coding theory.
Classification :
QA268
.
P45
2018
394. Coding Theory and Number Theory
Author: by Toyokazu Hiramatsu, Günter Köhler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Coding theory.,Computational complexity.,Computer science.,Geometry, Algebraic.,Matrix theory.,Number theory.
395. Coding for Channels with Feedback
Author: by James M. Ooi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer engineering.,Engineering.,Mathematics.
396. Cold war history
Author: edited by Frédéric Bozo ... [ et al.].
Library: Library of Islamic Parliament (Tehran)
Subject:
397. Collaborative Mathematics and Statistics Research
Author: / , Maya Chhetri, Sat Gupta, Ratnasingham ShivajiعJan Rycht
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
Classification :
E-BOOK
398. Coloured Petri Nets :
Author: by Kurt Jensen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Software engineering.
Classification :
QA267
.
B958
1992
399. Combinatorial Optimization and Applications :
Author: edited by Zaixin Lu, Donghyun Kim, Weili Wu, Wei Li, Ding-Zhu Du.
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Algorithms.,Computer communication systems.,Computer graphics.,Computer science,Numerical analysis.,Algorithm Analysis and Problem Complexity.,Algorithms.,Mathematics.
Classification :
QA402
.
5
.
C66
2015
400. Combinatorial and global optimization /
Author: editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization, Congresses.,Mathematical optimization, Congresses.,Nonlinear programming, Congresses.,Optimisation combinatoire, Congrès.,Optimisation mathématique, Congrès.,Programmation non linéaire, Congrès.,Combinatorial optimization.,Mathematical optimization.,MATHEMATICS-- Combinatorics.,Nonlinear programming.
Classification :
QA402
.
5
.
C5435
2002eb
